L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 (ABI) y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo L4 y sus diferentes versiones.